Vojnar, Tomas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Functional Genomics Approach Towards Dissecting Out Abiotic Stress Tolerance Trait in Plants

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 500 KB

english, 2019

2

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Effect of Drought Stress and Utility of Transcriptomics in Identification of Drought Tolerance Mechanisms in Maize

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 421 KB

english, 2019

3

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Epigenetic Response of Plants to Abiotic Stress: Nature, Consequences and Applications in Breeding

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 581 KB

english, 2019

4

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Epigenetic Response of Plants to Abiotic Stress: Nature, Consequences and Applications in Breeding

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 581 KB

2019

5

[IEEE 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - San Diego, CA, USA (2019.4.28-2019.5.1)] 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata

Ceska, Milan, Havlena, Vojtech, Holik, Lukas, Korenek, Jan, Lengal, Ondrej, Matousek, Denis, Matousek, Jiri, Semric, Jakub, Vojnar, Tomas

Year:

2019

File:

PDF, 38 KB

2019

6

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Make It Happen: Marketing Processes for Competitive Market Positioning of Firms in Transitional Economy

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 315 KB

english, 2019

7

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7721 || Quantum Secret Sharing with Graph States

Kučera, Antonín, Henzinger, Thomas A., Nešetřil, Jaroslav, Vojnar, Tomáš, Antoš, David

Year:

2013

Language:

english

File:

PDF, 287 KB

english, 2013

8

Verification of heap manipulating programs with ordered data by extended forest automata

Abdulla, Parosh Aziz, Holík, Lukáš, Jonsson, Bengt, Lengál, Ondřej, Trinh, Cong Quy, Vojnar, Tomáš

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 953 KB

english, 2016

9

Compositional entailment checking for a fragment of separation logic

Enea, Constantin, Lengál, Ondřej, Sighireanu, Mihaela, Vojnar, Tomáš

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

10

Forest automata for verification of heap manipulation

Habermehl, Peter, Holík, Lukáš, Rogalewicz, Adam, Šimáček, Jiří, Vojnar, Tomáš

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 924 KB

english, 2012

11

[IEEE 2018 21st Euromicro Conference on Digital System Design (DSD) - Prague, Czech Republic (2018.8.29-2018.8.31)] 2018 21st Euromicro Conference on Digital System Design (DSD) - The AQUAS ECSEL Project

Pomante, Luigi, Krena, Bohuslav, Vojnar, Tomas, Veljkovic, Filip, Magnin, Pacome

Year:

2018

Language:

english

File:

PDF, 702 KB

english, 2018

12

[IEEE 2012 13th International Workshop on Microprocessor Test and Verification (MTV) - Austin, TX, USA (2012.12.10-2012.12.13)] 2012 13th International Workshop on Microprocessor Test and Verification (MTV) - Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description

Charvat, Luka, Smrcka, Ale, Vojnar, Toma

Year:

2012

Language:

english

File:

PDF, 254 KB

english, 2012

13

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7721 || Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Kučera, Antonín, Henzinger, Thomas A., Nešetřil, Jaroslav, Vojnar, Tomáš, Antoš, David

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

14

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 9548 || Programming Support for Future Parallel Architectures

Kofroň, Jan, Vojnar, Tomáš

Year:

2016

Language:

english

File:

PDF, 1.57 MB

english, 2016

15

[ACM Press the 27th ACM SIGSOFT International Symposium - Amsterdam, Netherlands (2018.07.16-2018.07.21)] Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018 - Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs

Fiedor, Jan, Mužikovská, Monika, Smrčka, Aleš, Vašíček, Ondřej, Vojnar, Tomáš

Year:

2018

Language:

english

File:

PDF, 628 KB

english, 2018

16

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 9548 || Exceptional Configurations of Quantum Walks with Grover’s Coin

Kofroň, Jan, Vojnar, Tomáš

Year:

2016

Language:

english

File:

PDF, 773 KB

english, 2016

17

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Determinants of Enterprises’ Capital Structure in Poland: Evidence from Warsaw Stock Exchange

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 239 KB

english, 2019

18

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11428 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II) || Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 611 KB

english, 2019

19

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Emerging Brand Meanings in Wearable Sports Technology: A Case Study on Suunto Sports Watches

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 558 KB

english, 2019

20

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Ecosystems Services Economic Valuation Model: Case Study in Latvia

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 341 KB

english, 2019

21

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || The Model of Assessing the Innovativeness of Public Entities Obliged to Carry Out Public–Private Partnership Projects

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 288 KB

2019

22

Utilizing parametric systems for detection of pipeline hazards

CharvÃ¡t, LukÃ¡Å¡, SmrÄka, AleÅ¡, Vojnar, TomÃ¡Å¡

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2020

File:

PDF, 1.53 MB

2020

23

[ACM Press the 2007 ACM workshop - London, United Kingdom (2007.07.09-2007.07.09)] Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging - PADTAD '07 - Healing data races on-the-fly

Krena, Bohuslav, Letko, Zdenek, Tzoref, Rachel, Ur, Shmuel, Vojnar, Tomáš

Year:

2007

Language:

english

File:

PDF, 255 KB

english, 2007

24

[IEEE 2014 15th International Microprocessor Test and Verification Workshop (MTV) - Austin, TX, USA (2014.12.15-2014.12.16)] 2014 15th International Microprocessor Test and Verification Workshop - Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors

Charvat, Luka, Smrcka, Ales, Vojnar, Toma

Year:

2014

Language:

english

File:

PDF, 244 KB

english, 2014

25

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Molecular Chaperones: Key Players of Abiotic Stress Response in Plants

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 593 KB

2019

26

Verification of parametric concurrent systems with

Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 1.07 MB

english, 2008

27

[IEEE 2007 ECSIS Symposium on Bio-inspired, Learning, and Intelligent Systems for Security (BLISS 2007) - Edinburgh, UK (2007.08.9-2007.08.10)] 2007 ECSIS Symposium on Bio-inspired, Learning, and Intelligent Systems for Security (BLISS 2007) - On Some Directions in Security-Oriented Research

Sekanina, Lukas, Hruska, Tomas, Vojnar, Tomas, Kolar, Dusan, Cernocky, Jan

Year:

2007

Language:

english

File:

PDF, 200 KB

english, 2007

28

COMPOSED BISIMULATION FOR TREE AUTOMATA

ABDULLA, PAROSH AZIZ, BOUAJJANI, AHMED, HOLÍK, LUKÁŠ, KAATI, LISA, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 219 KB

english, 2009

29

Automata-based verification of programs with tree updates

Peter Habermehl, Radu Iosif, Tomáš Vojnar

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 933 KB

english, 2010

30

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Complexity Theory in the Advancement of Entrepreneurship Ecosystem Research: Future Research Directions

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 312 KB

english, 2019

31

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Evaluating Realized Volatility Models with Higher Order Cumulants: HAR-RV Versus ARIMA-RV

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 1.22 MB

2019

32

[IEEE 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - San Diego, CA, USA (2019.4.28-2019.5.1)] 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata

Ceska, Milan, Havlena, Vojtech, Holik, Lukas, Korenek, Jan, Lengal, Ondrej, Matousek, Denis, Matousek, Jiri, Semric, Jakub, Vojnar, Tomas

Year:

2019

Language:

english

File:

PDF, 38 KB

english, 2019

33

Abstraction refinement and antichains for trace inclusion of infinite state systems

HolÃk, LukÃ¡Å¡, Iosif, Radu, Rogalewicz, Adam, Vojnar, TomÃ¡Å¡

Journal:

Formal Methods in System Design

Year:

2020

File:

PDF, 668 KB

2020

34

Regular Model Checking Using Inference of Regular Languages

Peter Habermehl, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 351 KB

english, 2005

35

Abstract Regular Tree Model Checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 253 KB

english, 2006

36

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7119 || Rigorous System Design: The BIP Approach

Kotásek, Zdeněk, Bouda, Jan, Černá, Ivana, Sekanina, Lukáš, Vojnar, Tomáš, Antoš, David

Year:

2012

Language:

english

File:

PDF, 369 KB

english, 2012

37

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Do Consumers of Products and Services Perceive the COO Effect in a Multi-dimensional Way? A Polish-Lithuanian Comparison

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 251 KB

2019

38

Modelling, prototyping, and verifying concurrent and distributed applications using object‐oriented Petri nets

Češka, Milan, Janoušek, Vladimír, Vojnar, Tomáš

Journal:

Year:

2002

Language:

english

File:

PDF, 236 KB

english, 2002

39

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Molecular Chaperones: Key Players of Abiotic Stress Response in Plants

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 593 KB

english, 2019

40

Generalised multi-pattern-based verification of programs with linear linked structures

Milan Češka, Pavel Erlebach, Tomáš Vojnar

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

41

Abstract regular (tree) model checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 861 KB

english, 2012

42

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || CSR Ratings and Contradiction of Real and Communicated Aims of Media Organization: The Case of News Corporation

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 245 KB

english, 2019

43

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata

Parosh A. Abdulla, Lukáš Holík, Lisa Kaati, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

44

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits

ÄeÅ¡ka, Milan, MatyÃ¡Å¡, JiÅÃ, Mrazek, Vojtech, Sekanina, Lukas, Vasicek, Zdenek, Vojnar, TomÃ¡Å¡

Journal:

Applied Soft Computing

Year:

2020

File:

PDF, 1.06 MB

2020

45

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Genomics of Arsenic Stress Response in Plants

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 276 KB

english, 2019

46

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Airports as Shopfronts of Tourism Destinations: Awarded Brand Singapore Changi Versus Surviving Istanbul Ataturk

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 274 KB

english, 2019

47

The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle

Pomante, Luigi, Muttillo, Vittoriano, Křena, Bohuslav, Vojnar, Tomáš, Veljković, Filip, Magnin, Pacôme, Matschnig, Martin, Fischer, Bernhard, Martinez, Jabier, Gruber, Thomas

Journal:

Microprocessors and Microsystems

Year:

2019

Language:

english

File:

PDF, 2.71 MB

english, 2019

48

String constraints with concatenation and transducers solved efficiently

Holík, Lukáš, Janků, Petr, Lin, Anthony W., Rümmer, Philipp, Vojnar, Tomáš

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 478 KB

english, 2017

49

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Cooperation Between Competing Companies: The Example of Polish and Belarusian Enterprises

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 216 KB

english, 2019

50

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Genomics of Arsenic Stress Response in Plants

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 276 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски